Extending IDLs with pi-calculus for Protocol Compatibility
نویسندگان
چکیده
Traditional IDLs present some limitations, since they were defined for describing the services that objects offer, but not those services they require from other objects, nor the partial ordering in which their services are expected to be used. In this paper we propose an IDL extension that uses a subset of π-calculus for describing objects service protocols. Our approach can be also used in a component-oriented environment for automated checking of protocol interoperability between objects. This is supported by a platform that controls the dynamic composition of components.
منابع مشابه
Extending CORBA Interfaces with π-Calculus for Protocol Compatibility
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the partial ordering in which they expect their methods to be used. In this paper we propose an extension of the CORBA IDL that uses a sugared subset of the polyadic π-calculus for describing object service protocols, aimed towards the automated checking of p...
متن کاملExtending CORBA Interfaces with p-Calculus for Protocol Compatibility
1 Interoperability " The ability of two or more entities to communicate and cooperate despite differences in the implementation language, the execution environment, or the model abstraction " [Wegner, 1996]. • We distinguish three main levels of Object Interoperability: – The Signature level (signature of operations) – The Protocol level (partial order between messages) – The Semantic level (re...
متن کاملTyping the Behavior of Objects and Components using Session Types
This paper describes a proposal for typing the behavior of objects in component models. Most component models, CORBA in particular, do not offer any support for expressing behavioral properties of objects beyond the “static” information provided by IDLs. We build on the works by Honda et al. [6] and Gay and Hole [5] to show how session types can be effectively used for describing protocols, ext...
متن کاملAdding Semantic Information to IDLs. Is it Really Practical?
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the partial ordering in which their services are expected to be used. In this paper we propose an IDL extension that uses a subset of π-calculus for describing objects service protocols. Our approach can be also used in a component-oriented environment for au...
متن کاملAdding Roles to CORBA Objects
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the relative order in which they expect their methods to be called. Some of the existing proposals try to add protocol information to object interfaces, but most of them fail to do so in a modular way. In this paper we propose an extension of the CORBA IDL th...
متن کامل